es-bc{i:l}(es;e;e')
== Case TERMOF{decidable es-causl:ObjectId, 1:l, i:l}(es,e',e) of
== inl(x)  true
== inr(x)  false 

latex

---

clarification:

es-bc{i:l}
es-bc(es; e; e')
== Case TERMOF{decidable es-causl:ObjectId, 1:l, i:l}(es,e',e) of
== inl(x)  true
== inr(x)  false 

latex

Definitions	false, true, decidable es-causl
FDL editor aliases	es-bc